Analysing the behaviour of distributed software architectures: a case study
نویسندگان
چکیده
A Software Architecture is the overall structure of a system in terms of its constituent components and their interconnections. In this paper, we describe work to associate behavioural specifications with the components of a distributed software architecture and an approach to analysing the behaviour of systems composed from these components. The approach is based on the use of Labelled Transition Systems to specify behaviour and Compositional Reachability Analysis to check composite system models. The architecture description of a system is used directly to generate the model used for analysis. Analysis allows a designer to check whether an architecture satisfies the properties required of it. The approach is illustrated using a case study of an Active Badge system.
منابع مشابه
Modelling Control Systems in an Event-Driven Coordination Language
The paper presents the implementation of a railway control system, as a means of assessing the potential of coordination languages to be used for modelling software architectures for complex control systems using a components-based approach. Moreover, with this case study we assess and understand the issues of real time, fault tolerance, scalability, extensibility, distributed execution and ada...
متن کاملTrust-by-Contract: Modelling, Analysing and Predicting Behaviour of Software Architectures
Architecture description languages (ADLs) are used to specify high-level, compositional views of a software application. ADL research focuses on software composed of prefabricated parts, socalled software components. ADLs usually come equipped with rigorous state-transition style semantics, facilitating verification and analysis of specifications. Consequently, ADLs are well suited to configuri...
متن کاملSoftware Architectures for Dependable and Distributed Systems
This position paper describes the current state-of-the-art and the future vision of software architectures for dependable systems. The study of software architectures is a relatively new field in software engineering, which has emerged from the need of modelling and analysing software systems at a very high level of abstraction. The current trend of building trustworthy systems from existing un...
متن کاملBayesian paradigm for analysing count data in longitudina studies using Poisson-generalized log-gamma model
In analyzing longitudinal data with counted responses, normal distribution is usually used for distribution of the random efffects. However, in some applications random effects may not be normally distributed. Misspecification of this distribution may cause reduction of efficiency of estimators. In this paper, a generalized log-gamma distribution is used for the random effects which includes th...
متن کاملAnalysing dynamic change in software architectures: a case study
The software architecture of a system is the overall structure of the system in terms of its constituent components and their interconnections. Dynamic changes to the instantiated system architecture – to the components and/or interconnections may take place while it is running. In order that these changes do not violate the integrity of the system, we adopt a general model of dynamic configura...
متن کامل